1. Computer semantics; studies of algorithms, processors, and languages
پدیدآورنده : Lee, John A. N.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Algorithms,، Programming languages )Electronic computers(-- Semantics
رده :
QA
76
.
6
.
L38
2. Fairness
پدیدآورنده : Francez, Nissim.
موضوع : ، Electronic digital computers-- Programming,، Programming languages )Electronic computers(-- Semantics,، Parallel processing )Electronic computers(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Mathematical founations of programming semantics; International Conference Manhattan, Kansas, April 11-12, 1985 Proceedings
پدیدآورنده : edited by Austin Melton
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
239
4. Proceedings of the 2003 ACM SIGPLAN workshop on Partial Evaluation and semantics-based program manipulation : )PEPM'03( : San Diego, California, USA, June 17th, 2003
پدیدآورنده : sponsored by the Association for Computing Machinery Special Interest Group on Programming Language )ACM SIGPLAN(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
P45
2003
5. Semantics of sequential and parallel programs,Semantik. English
پدیدآورنده : Best, Eike
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Electronic digital computers-- Programming
رده :
QA
76
.
6
.
B4765
1996